1. Program analysis and compilation, theory and practice
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: ; Computer programs ; Verification ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer programming ; Congresses. ; -Wilhelm, R. ; (Reinhard), ; 1946
2. Program analysis and compilation, theory and practice :
المؤلف: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
3. Program analysis and compilation, theory and practice
المؤلف: / Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Wilhelm, R.--(Reinhard),--1946,Computer programs--Verification--Congresses,Compilers (Computer programs)--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
76
,.
V47
,
P745
,
2007
4. The Synthesizer generator : a system for constructing language based editors
المؤلف: Reps, Thomas William
المکتبة: (طهران)
موضوع: ، Generators )Computer programs(,، Linking loaders )Computer programs(,، Computer software -- Development
رده :
QA
76
.
76
.
G46R46
5. The Synthesizer generator : reference manual
المؤلف: Reps, Thomas William
المکتبة: (طهران)
موضوع: ، Generators )Computer programs(,، Linking loaders )Computer programs(,، Computer software -- Development
رده :
QA
76
.
76
.
G46R462
1989
6. <The> Synthesizer generator reference manual
المؤلف: Thomas W. Reps, Tim Teitelbaum
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Generator (Computer programs),Linking loaders (Computer programs),Computer software- Development
رده :
QA
،
76
.
76
،.
G46
,
R46
،
1989
7. The synthesizer generator : a system for constructing language-based editors
المؤلف: Reps, Thomas W.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Generators )Computer programs(,، Linking loaders )Computer programs(,، Computer software-- Development
رده :
QA
76
.
76
.
G46
.
R46
1989
8. The synthesizer generator reference manual /
المؤلف: Thomas W. Reps, Tim Teitelbaum.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Development.,Generators (Computer programs),Linking loaders (Computer programs)
رده :
QA76
.
76
.
G46
R46
1989b
